0b7aae7d9c9a12cfdeeb02306144ea43d57aa053,modules/wyc/src/wyc/builder/CodeGenerator.java,CodeGenerator,generate,#Expr.Quantifier#Environment#CodeForest.Block#CodeForest#Context#,1991
Before Change
int target = environment.allocate(Type.T_BOOL);
block.add(Bytecode.Const(target, Constant.V_BOOL(false)), attributes(e));
block.add(Bytecode.Goto(exitLabel));
block.add(Bytecode.Label(trueLabel));
block.add(Bytecode.Const(target, Constant.V_BOOL(true)), attributes(e));
block.add(Bytecode.Label(exitLabel));
return target;
}
After Change
block.add(new Bytecode.Const(target, Constant.V_BOOL(false)), attributes(e));
block.add(new Bytecode.Goto(exitLabel));
block.add(new Bytecode.Label(trueLabel));
block.add(new Bytecode.Const(target, Constant.V_BOOL(true)), attributes(e));
block.add(new Bytecode.Label(exitLabel));
return target;
}